L. du Bousquet: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Measuring a Java Test Suite Coverage Using JML Specifications

F. Dadeau, Y. Ledru, L. du Bousquet

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 307 KB

english, 2007

2

[IEEE 2013 13th International Conference on Quality Software (QSIC) - Najing, China (2013.07.29-2013.07.30)] 2013 13th International Conference on Quality Software - A Comparison of Mutation Analysis Tools for Java

Delahaye, Mickael, du Bousquet, Lydie

Year:

2013

Language:

english

File:

PDF, 165 KB

english, 2013

3

Towards Mutation Analysis for Lustre Programs

Lydie du Bousquet, Michel Delaunay

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 308 KB

english, 2008

4

A Multi-formalism Approach for the Validation of UML Models

Sophie Dupuy, Lydie du Bousquet

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 51 KB

english, 2000

5

[IEEE 2009 First International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 First International Conference on Advances in System Testing and Validation Lifecycle - Is Depth of Inheritance Tree a Good Cost Prediction for Branch Coverage Testing?

Shaheen, Muhammad Rabee, Bousquet, Lydie du

Year:

2009

Language:

english

File:

PDF, 345 KB

english, 2009

6

Selecting a software engineering tool: lessons learnt from mutation analysis

Delahaye, Mickaël, du Bousquet, Lydie

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 169 KB

english, 2015

7

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Applying a Pairwise Coverage Criterion to Scenario-Based Testing

Bousquet, L. du, Delahaye, M., Oriat, C.

Year:

2016

Language:

english

File:

PDF, 262 KB

english, 2016

8

Direct Observations of Asteroid Interior and Regolith Structure: Science Measurement Requirements

Herique, A., Agnus, B., Asphaug, E., Barucci, A., Beck, P., Bellerose, J., Biele, J., Bonal, L., Bousquet, P., Bruzzone, L., Buck, C., Carnelli, I., Cheng, A., Ciarletti, V., Delbo, M., Du, J., Du, X.

Journal:

Advances in Space Research

Year:

2017

Language:

english

File:

PDF, 1.46 MB

english, 2017

9

Relevance and feasibility of a systematic screening of multimorbidities in patients with chronic inflammatory rheumatic diseases

Daïen, Claire I, Tubery, Amandine, Beurai-Weber, Mégane, Cailar, Guilhem du, Picot, Marie-Christine, Roubille, François, Cohen, Jean-David, Morel, Jacques, Bousquet, Jean, Fesler, Pierre, Combe, Berna

Journal:

Joint Bone Spine

Year:

2018

Language:

english

File:

PDF, 199 KB

english, 2018

10

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study

L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 296 KB

english, 2004

11

A Case Study in Matching Test and Proof Coverage

Y. Ledru, L. du Bousquet, F. Dadeau, F. Allouti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

12

Feature interaction detection using a synchronous approach and testing

L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 356 KB

english, 2000

13

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 964 KB

english, 2010

14

Using formal methods to increase confidence in a home network system implementation: a case study

Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki

Journal:

Innovations in Systems and Software Engineering

Year:

2009

Language:

english

File:

PDF, 1.62 MB

english, 2009

15

On the value of operationally synthesized multiple-Doppler wind fields

Bousquet, Olivier, Tabary, Pierre, Parent du Châtelet, Jacques

Journal:

Geophysical Research Letters

Year:

2007

Language:

english

File:

PDF, 614 KB

english, 2007

16

Special section on Mutation testing (Mutation 2010)

du Bousquet, Lydie, Bradbury, Jeremy S., Fraser, Gordon

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 136 KB

english, 2013

17

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Mutation analysis for Lustre programs: Fault model description and validation

du Bousquet, Lydie, Delaunay, Michel

Year:

2007

Language:

english

File:

PDF, 300 KB

english, 2007

18

[IEEE Proceedings. 19th International Conference on Automated Software Engineering, 2004. - Linz, Austria (Sept. 20-24, 2004)] Proceedings. 19th International Conference on Automated Software Engineering, 2004. - A case study in JML-based software validation

du Bousquet, L., Ledru, Y., Maury, O., Oriat, C., Lanet, J.-L.

Year:

2004

Language:

english

File:

PDF, 269 KB

english, 2004

19

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Fault localization in embedded software based on a single cyclic trace

Amiar, Azzeddine, Delahaye, Mickael, Falcone, Ylies, du Bousquet, Lydie

Year:

2013

Language:

english

File:

PDF, 813 KB

english, 2013

20

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Grasland, Yves, du Bousquet, Lydie, Groz, Roland, Parissis, Ioannis

Year:

2013

Language:

english

File:

PDF, 282 KB

english, 2013

21

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Relation between Depth of Inheritance Tree and Number of Methods to Test

Bousquet, Lydie du, Shaheen, Muhammad Rabee

Year:

2008

Language:

english

File:

PDF, 480 KB

english, 2008

22

[IEEE Comput. Soc 16th Annual International Conference on Automated Software Engineering (ASE 2001) - San Diego, CA, USA (26-29 Nov. 2001)] Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) - Test purposes: adapting the notion of specification to testing

Ledru, Y., du Bousquet, L., Bontron, P., Maury, O., Oriat, C., Potet, M.-L.

Year:

2001

Language:

english

File:

PDF, 832 KB

english, 2001

23

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Analysis of the Introduction of Testability Antipatterns during the Development Process

Shaheen, Muhammad Rabee, Bousquet, Lydie du

Year:

2009

Language:

english

File:

PDF, 420 KB

english, 2009

24

[IEEE Comput. Soc 1998 IEEE Workshop on Application-Specific Software Engineering and Technology - Richardson, TX, USA (26-28 March 1998)] Proceedings. 1998 IEEE Workshop on Application-Specific Software Engineering and Technology. ASSET-98 (Cat. No.98EX183) - Telecommunication software validation using a synchronous approach

du Bousquet, L., Ouabdesselam, F., Richier, J.-L.

Year:

1998

Language:

english

File:

PDF, 30 KB

english, 1998

25

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - Using mutation analysis to evaluate test generation strategies in a synchronous context

du Bousquet, L., Delaunay, M.

Year:

2007

Language:

english

File:

PDF, 135 KB

english, 2007

26

[IEEE 2008 3rd International Design and Test Workshop (IDT) - Monastir, Tunisia (2008.12.20-2008.12.22)] 2008 3rd International Design and Test Workshop - Generation of test programs for the assertion-based verification of TLM models

Ferro, Luca, Pierre, Laurence, Ledru, Yves, du Bousquet, Lydie

Year:

2008

Language:

english

File:

PDF, 240 KB

english, 2008

27

[IEEE Comput. Soc Ninth International Symposium on Software Reliability Engineering - Paderborn, Germany (4-7 Nov. 1998)] Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) - Expressing and implementing operational profiles for reactive software validation

du Bousquet, L., Ouabdesselam, F., Richier, J.-L.

Year:

1998

Language:

english

File:

PDF, 123 KB

english, 1998

28

[IEEE 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Nice, TBD, France (2010.08.22-2010.08.27)] 2010 Second International Conference on Advances in System Testing and Validation Lifecycle - Analysis of Testability Metrics for Lustre/Scade Programs

Bousquet, Lydie du, Delaunay, Michel, Do, Huy-Vu, Robach, Chantal

Year:

2010

Language:

english

File:

PDF, 522 KB

english, 2010

29

Operational Multiple-Doppler Wind Retrieval Inferred from Long-Range Radial Velocity Measurements

Bousquet, Olivier, Tabary, Pierre, Parent du Châtelet, Jacques

Journal:

Journal of Applied Meteorology and Climatology

Year:

2008

Language:

english

File:

PDF, 3.75 MB

english, 2008

30

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Lutess

du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.

Year:

1999

Language:

english

File:

PDF, 1.22 MB

english, 1999

31

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Test suite selection based on traceability annotations

Ledru, Yves, Vega, German, Triki, Taha, Bousquet, Lydie du

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

32

[ACM Press the 7th International Workshop - Antwerpen, Belgium (2010.09.20-2010.09.20)] Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10 - Assertion-based test oracles for home automation systems

Rajan, Ajitha, du Bousquet, Lydie, Ledru, Yves, Vega, German, Richier, Jean-Luc

Year:

2010

Language:

english

File:

PDF, 235 KB

english, 2010

33

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Mastering combinatorial explosion with the tobias-2 test generator

Ledru, Yves, Dadeau, Frédéric, du Bousquet, Lydie, Ville, Sébastien, Rose, Elodie

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

34

Softening upon Adsorption in Microporous Materials: a Counter-Intuitive Mechanical Response

F. Mouhat, D. Bousquet, A. Boutin, L. Bouëssel Du Bourg, F. Coudert, A. H. Fuchs

Year:

2015

Language:

english

File:

PDF, 720 KB

english, 2015

35

Interest of a systematic screening of comorbidities in chronic inflammatory rheumatisms

Tubery, A., Fesler, P., Cailar, G. Du, Morel, J., Bousquet, J., Combe, B., Daien, C.

Journal:

Annals of Physical and Rehabilitation Medicine

Year:

2015

Language:

english

File:

PDF, 186 KB

english, 2015

36

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Year:

2007

File:

PDF, 201 KB

2007

37

[ACM Press the 2nd international workshop - Atlanta, Georgia (2007.11.06-2007.11.06)] Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) - RT '07 - Directed random reduction of combinatorial test suites

Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie

Year:

2007

Language:

english

File:

PDF, 201 KB

english, 2007

38

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Mutation analysis for Lustre programs: Fault model description and validation

du Bousquet, Lydie, Delaunay, Michel

Year:

2007

Language:

english

File:

PDF, 300 KB

english, 2007

39

CORRESPONDENCE. THE FRICTION OF LOCOMOTIVE SLIDE VALVES AND THE SECURITY OF FIREBOXES.

VAN BORRIES, A, BRIGHT, P, DRUMMOND, D, DU BOUSQUET, G, GROVER, F, MALLET, A, MCINTOSH, J F, POLONCEAU, E, SHEFFIELD, G H, THEURER, A, TWINBERROW, J D, ASPINALL, J A F, THOW, W

Journal:

Minutes of the Proceedings

Year:

1898

Language:

english

File:

PDF, 783 KB

english, 1898

40

Validating Safety for the Integrated Services of the Home Network System Using JML

Yan, Ben, Nakamura, Masahide, Bousquet, Lydie du, Matsumoto, Ken-ichi

Journal:

Journal of Information Processing

Year:

2008

Language:

english

File:

PDF, 918 KB

english, 2008

41

SPIE Proceedings [SPIE SPIE Laser Damage - Boulder, Colorado, United States (Sunday 25 September 2016)] Laser-Induced Damage in Optical Materials 2016 - Effects of chemical etching on the surface quality and the laser induced damage threshold of fused silica optics

Exarhos, Greg J., Gruzdev, Vitaly E., Menapace, Joseph A., Ristau, Detlev, Soileau, MJ, Pfiffer, Mathilde, Cormont, Philippe, Néauport, Jérôme, Lambert, Sébastien, Fargin, Evelyne, Bousquet, Bruno, Du

Year:

2016

Language:

english

File:

PDF, 2.29 MB

english, 2016

42

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Improving Trace Generation and Analysis for Medical Devices

Blein, Yoann, Clere, Arnaud, Bertrand, Fabrice, Ledru, Yves, Groz, Roland, Bousquet, Lydie du

Year:

2017

Language:

english

File:

PDF, 134 KB

english, 2017

43

FRI0122 Eular 2015 Recommendations for Cardiovascular Risk Could Radically Change Patients Care in Chronic Inflammatory Rheumatisms

Daien, C., Tubery, A., Du Cailar, G., Mura, T., Picot, M.C., Bourret, R., Roubille, F., Bousquet, J., Morel, J., Fesler, P., Combe, B.

Journal:

Annals of the Rheumatic Diseases

Year:

2016

Language:

english

File:

PDF, 77 KB

english, 2016

44

SAT0107 Interest of a Systematic Screening of Comorbidities in Chronic Inflammatory Rheumatisms

Daien, C.I., Tubery, A., Fesler, P., Du Cailar, G., Morel, J., Bousquet, J., Combe, B.

Journal:

Annals of the Rheumatic Diseases

Year:

2015

Language:

english

File:

PDF, 195 KB

english, 2015

45

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Extending specification patterns for verification of parametric traces

Blein, Yoann, Ledru, Yves, du-Bousquet, Lydie, Groz, Roland

Year:

2018

Language:

english

File:

PDF, 543 KB

english, 2018

46

[ACM Press the International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.28)] Proceedings of the International Workshop on Software Engineering in Healthcare Systems - SEHS '18 - Requirements for a trace property language for medical devices

Ledru, Yves, Blein, Yoann, du-Bousquet, Lydie, Groz, Roland, Clère, Arnaud, Bertrand, Fabrice

Year:

2018

File:

PDF, 97 KB

2018

47

Tuning the Electronic Structure of LaNiO 3 through Alloying with Strontium to Enhance Oxygen Evolution Activity

Liu, Jishan, Jia, Endong, Wang, Le, Stoerzinger, Kelsey A., Zhou, Hua, Tang, Chi Sin, Yin, Xinmao, He, Xu, Bousquet, Eric, Bowden, Mark E., Wee, Andrew T. S., Chambers, Scott A., Du, Yingge

Journal:

Advanced Science

Year:

2019

Language:

english

File:

PDF, 2.11 MB

english, 2019

48

Pertinence et faisabilité d’un dépistage systématique des multimorbidités chez les patients atteints de rhumatismes inflammatoires chroniques

Daïen, Claire I., Tubery, Amandine, Beurai-Weber, Mégane, du Cailar, Guilhem, Picot, Marie-Christine, Roubille, François, Cohen, Jean-David, Morel, Jacques, Bousquet, Jean, Fesler, Pierre, Combe, Bern

Journal:

Revue du Rhumatisme

Year:

2019

File:

PDF, 716 KB

2019

49

[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW) - Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems

Gisselaire, Lucas, Cario, Florian, Guerre-berthelot, Quentin, Zigmann, Bastien, du Bousquet, Lydie, Nakamura, Masahide

Year:

2019

File:

PDF, 132 KB

2019